Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·1h
📱Bytecode Design
Four years, Five failures, One compiler
daymare.net·20h·
🌱Minimal Languages
The Best Performance Optimization Is Sometimes Changing Your Architecture
reddit.com·18h·
Discuss: r/webdev
🚀Code Motion
Property-based testing of batch-invariant operations
mmaaz.ca·7h·
Discuss: Hacker News
🎲Property Testing
Recurse Checkins
404wolf.com·4h
🔄Bootstrapping
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·12h·
Discuss: r/programming
🧠Memory Models
TypeNet Benchmark for development of authentication keystroke technologies
github.com·1d·
Discuss: Hacker News
🌱Minimal ML
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·1d·
Discuss: Hacker News
🧩Constraint Solvers
Highly concurrent in-memory counter in GoLang
engineering.grab.com·5h
🧠Memory Models
Constraint Satisfaction Approaches to Wordle: Novel Heuristics and Cross-Lexicon Validation
arxiv.org·1h
🧩Constraint Solvers
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·10h·
Discuss: Hacker News
🔢Algebraic Datatypes
rblhost: Exploring Rust’s Role in Embedded Development Tools
mcuoneclipse.com·11h
🏗️Cranelift
Reflections on Designing a Search Autocomplete System
torontostudygroup.github.io·22h·
Discuss: DEV
🌿Trie Structures
Mixture of Experts Implementation using Granite4: Harnessing Specialization with the Latest Granite Family Model
dev.to·17h·
Discuss: DEV
🔍ML Language
std::ranges may not deliver the performance that you expect
lemire.me·8h·
Discuss: Hacker News
🏃Escape Analysis
Measuring scaleup for Postgres 18.0 with sysbench
smalldatum.blogspot.com·12h·
Performance
Solving Reproducibility Challenges in Deep Learning and LLMs: Our Journey
ingonyama.com·1d·
Discuss: Hacker News
🗺️Region Inference
DiffuSpec: Unlocking Diffusion Language Models for Speculative Decoding
arxiv.org·1h
🚀Tokenizer Performance
Benchmark: Spark vs. Ray Data vs. Daft on Multimodal Workloads
daft.ai·2d·
Discuss: Hacker News
🗺️Region Inference